python get int from string

>>> import re
>>> string1 = "498results should get"
>>> int(re.search(r'\d+', string1).group())
498

import re
s = "12 hello 52 19 some random 15 number"
# Extract numbers and cast them to int
list_of_nums = map(int, re.findall('\d+', s))
print list_of_nums